_require local "../../../../basis.smi"
_require local "../../../data/symbols/main/RecordLabel.smi"
_require local "../../../extensions/debug/main/Bug.smi"
_require local "../../../libs/ids/main/LocalID.smi"
_require local "../../../data/types/main/Types.ppg.smi"
_require local "../../../data/types/main/TypesBasics.smi"
_require local "../../../data/runtimetypes/main/RuntimeTypes.ppg.smi"
_require local "../../../data/runtimetypes/main/TypeLayout2.smi"
_require local "../../../data/runtimetypes/main/FFIAttributes.ppg.smi"
_require local "../../../data/name/main/CodeLabel.smi"
_require local "../../../data/name/main/ExternSymbol.smi"
_require local "../../../data/builtin/main/BuiltinTypes.smi"
_require local "../../../data/builtin/main/BuiltinPrimitive.ppg.smi"

_require "../../../compilerIRs/anormal/main/ANormal.ppg.smi"

structure ANormalTypeCheck =
struct
  val check : ANormal.program -> unit
end
